O-minimal Expansions of Real Closed Fields and Completeness in the Sense of Scott
نویسنده
چکیده
We consider an o-minimal expansion M0 = (R0, <,+, · · · ) of a real closed field, and a real closed field R, complete in the sense of D. Scott, containing R0 as a dense subfield. We show that M0 has an elementary extension M = (R,<,+, · · · ) with domain R. Moreover, such a structure M with domain R is unique.
منابع مشابه
Dedekind cuts in polynomially bounded , O - minimal expansions of real closed fields Dissertation
O-minimal expansions of real closed fields Dissertation Zur Erlangung des Doktorgrades der Naturwissenschaften aus Regensburg 1996 Introduction We are concerned with o-minimal theories. The main result (the Box Theorem 17.3) is about polynomially bounded, o-minimal expansions T of real closed fields with archimedean prime model. In this Introduction, T always denotes such a theory-the reader ma...
متن کاملOn the real quadratic fields with certain continued fraction expansions and fundamental units
The purpose of this paper is to investigate the real quadratic number fields $Q(sqrt{d})$ which contain the specific form of the continued fractions expansions of integral basis element where $dequiv 2,3( mod 4)$ is a square free positive integer. Besides, the present paper deals with determining the fundamental unit$$epsilon _{d}=left(t_d+u_dsqrt{d}right) 2left.right > 1$$and $n_d$ and $m_d...
متن کاملExtending O-minimal Fréchet Derivatives
We investigate several extension properties of Fréchet differentiable functions defined on closed sets for o-minimal expansions of real closed fields.
متن کاملSaturated O-minimal Expansions of Real Closed Fields
In [KKMZ02] the authors gave a valuation theoretic characterization for a real closed field to be κ-saturated, for a cardinal κ ≥ א0. In this paper, we generalize the result, giving necessary and sufficient conditions for certain o-minimal expansion of a real closed field to be κ-saturated.
متن کاملWeakly o-minimal nonvaluational structures
A weakly o-minimal structure M = (M,≤,+, . . .) expanding an ordered group (M,≤, +) is called non-valuational iff for every cut 〈C,D〉 of (M,≤) definable in M, we have that inf{y − x : x ∈ C, y ∈ D} = 0. The study of non-valuational weakly o-minimal expansions of real closed fields carried out in [MMS] suggests that this class is very close to the class of o-minimal expansions of real closed fie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015